Validation of Smart Contracts Using Process Mining

Smart contracts are self-executing contracts defining rules for negotiating, verifying the fulfillment of rules and executing the agreement using formal code. They run on top of a blockchain. Errors in smart contracts are costly and are mostly found too late after execution, which is too late for fixing. To improve the validation of executed smart contracts, this paper suggests a process mining based approach. For this, we present an approach for the extraction of meaningful event logs from a blockchain. The event log can be imported in any process mining tool and validation and verification techniques can be used allowing to diagnose (non)conformity in smart contracts by means of common quality measures and with low latency after smart contract execution

Towards predictive behavior analysis for smart environments

Predictive behavior analysis allows prediction of the (human) behavior based on the analysis of historical data. Efficient approaches for predictive behavior analysis are available for scenarios with structured processes (e.g., based on ERP systems). The prediction of behavior becomes an obstacle when unstructured (decision making) processes underlie the scenario. Scenarios with unstructured processes can be found in smart environments logging sensor (event) streams such as e.g., Smart Home or Connected Cars. No efficient solutions exist to identify abnormal behavior (anomalies) in such smart environments. To provide a solution for anomaly detection in unstructured processes we suggest crossing process engineering with deep learning. Methods from process engineering allow identifying deviations while deep learning improves the robustness of anomalie detection and prediction. This conjunction is a promising approach in order to find an efficient solution

Microservices-based Business Process Model Automation

Recently, microservices evolved as a new software architecture paradigm allowing to build independently deployable software systems. In the context of Business Process Management microservices could be used to automate the execution of highly distributed business process models as required within the digital transformation. This paper sketches a microservices-based business process model execution and discusses challenges

Ähnlichkeitsbasierte Modellierungsunterstützung für Geschäftsprozesse

In der Arbeit wird erstmalig ein Unterstützungssystem für die Geschäftsprozessmodellierung vorgestellt, das dem Benutzer zu seinem gerade editierten Prozess Prozessfragmente aus einer Bibliothek vorschlägt. Der Vorschlag von Prozessfragmenten erfolgt auf Basis von Geschäftsregeln und Korrektheits- und Semantikkriterien. Zusätzlich werden Ähnlichkeitsmaße definiert, durch die Prozessteile mit unterschiedlichem Vokabular zur Beschreibung gleicher Prozessobjekte wieder verwendet werden können

BUSINESS PROCESS MODEL ANTI-PATTERNS: A BIBLIOGRAPHY AND TAXONOMY OF PUBLISHED WORK

Patterns have been proven to be useful for documenting reusable solutions to common problems. A recently published bibliography of business process model patterns shed light into the various types of patterns by providing a systematic categorization of these patterns. In this way, such classification improves the understanding of business process model patterns. Anti-patterns document a counterproductive solution to a commonly occurring problem. While a classification for the large body of literature on business process model patterns is available, a structured bibliography of anti-patterns is missing. Related work on anti-patterns discusses patterns for common modeling errors, problems in business process models as well as in the business processes. Modeling experts should be aware of all these types of anti-patterns. To fill this gap, this paper presents a bibliography of business process model anti-patterns and a taxonomy of anti-patterns that has been developed using an established approach for taxonomy development. Both are based on an literature review and are valuable for people during the design and analysis phases of business processes since knowledge about anti-patterns in business process models helps for increasing their quality. Our overview should also be useful for developers of modeling tools who wish to make the modeler aware of potential modeling problems

10151 Abstracts Collection -- Enabling Holistic Approaches to Business Process Lifecycle Management

From 11.04. to 16.04.2010, the Dagstuhl Seminar 10151 ``Enabling Holistic Approaches to Business Process Lifecycle Management \u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Requirements Catalog for Business Process Modeling Recommender Systems

The manual construction of business process models is a time-consuming and error-prone task. To improve the quality of business process models, several modeling support techniques have been suggested spanning from strict auto-completion of a business process model with pre-defined model elements to suggesting closely matching recommendations. While recommendation systems are widely used and auto-completion functions are a standard feature of programming tools, such techniques have not been exploited for business process modeling although implementation strategies have already been suggested. Therefore, this paper collects requirements from different perspectives (literature and empirical studies) of how to effectively and efficiently assist process modelers in their modeling task. The condensation of requirements represents a comprehensive catalog, which constitutes a solid foundation to implement effective and efficient Process Modeling Recommender Systems (PMRSs). We expect that our contribution will fertilize the field of modeling support techniques to make them a common feature of BPM tools

A Survey-based Analysis of Principles to Evaluate Visual Notations of Process Modeling Languages

Process modeling languages such as BPMN or EPC provide a set of graphical constructs defining their visual notations. The visual notation is one comparison criteria in favor of a process modeling language. Usually, the first choice for the evaluation of visual notations are the principles of the Physics of Notation (PoN) theory. Their vague operationalization, however, gives room for contradictory recommendations how to improve visual notations. Therefore, the intention of this paper is to identify recent empirical studies to visual notations of process modeling languages, which might contribute to a better understanding of PoN principles. A comprehensive literature survey has been conducted showing a confirmation of the PoN principles and identifying refinements for their operationalization. We applied our findings to an evaluation of the visual notation of BPMN from 2012 and showed advancements. Our findings define the current guidelines for evaluating and improving visual notations of process modeling languages